Model Theoretic Perspectives on the Philosophy of Mathematics
نویسنده
چکیده
We approach the ‘practice based philosophy of logic’ by examining the practice in one specific area of logic, model theory, over the last century. From this we try to draw lessons not for the philosophy of logic but for the philosophy of mathematics. We argue in fact that the philosophical impact of the developments in mathematical logic during the last half of the twentieth century were obscured by their mathematical depth and by the intertwining with mathematics. That is, that concepts which are normally regarded by both mathematicians and philosophers as ‘simply mathematics’ have philosophical importance. We make two claims. First is that the mere fact that logical methods have had mathematical impact is important for any investigation of mathematical methodology. Twentieth century logic introduced techniques that were important not just for the problems they were originally designed to solve (arising out of Hilbert’s program) but across broad areas of mathematics. But, from a philosophical standpoint, there is a further impact. These methods actually provide tools for the analysis of mathematical methodology.
منابع مشابه
Chapter Ten towards a Programming Language Ontology
We examine the role of semantic theory in determining the ontology of programming languages. We explore how different semantic perspectives result in different ontologies. In particular, we compare the ontological implications of set-theoretic versus type-theoretic semantics. Key terms: Philosophy of computer science Related terms: Mathematical logic, type theory
متن کاملA note on a graph related to the comaximal ideal graph of a commutative ring
The rings considered in this article are commutative with identity which admit at least two maximal ideals. This article is inspired by the work done on the comaximal ideal graph of a commutative ring. Let R be a ring. We associate an undirected graph to R denoted by mathcal{G}(R), whose vertex set is the set of all proper ideals I of R such that Inotsubseteq J(R), where J(R) is...
متن کاملA cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملAn Insight into the Model Structures Applied in DEA-Based Bank Branch Efficiency Measurements
In this paper, we focus on the Data Envelopment Analysis (DEA)-based model structures have been used in assessing bank branch efficiency. Probing the methodologies of 75 published studies at the branch level since 1985 to early 2015, we found that these models can be divided into four categories: standard basic DEA models, single level and multi-level models, enriched (hybrid) models and specia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010